<?php
         "   \u{DDEE}"